Discrete and Hybrid Systems Dependability Analysis with ESA PetriNet
نویسندگان
چکیده
Based on Petri net modelling and linear logic as formal framework, ESA PetriNet allows to carry out dependability analysis of discrete (based on temporal Petri nets modelling) or hybrid systems (differential predicate-transition Petri nets modelling). ESA PetriNet implements the approach for critical scenarios deriving. The approach is based on a qualitative analysis of Petri net model. It consists in determining a sequence of events represented by transition firings in the Petri net model that leads the system from normal working to critical situation. ESA PetriNet allows deriving only pertinent scenarios. Minimality of these scenarios (composed by the necessary events) is introduced to facilite the analysis step. Keywords—Petri net, dependability analysis, embedded system, feared scenario, minimality.
منابع مشابه
Hybrid modelling of dynamic systems by hybrid automatons and analysis of reachability of states in view of diagnosis
The strong interaction between the discrete dynamic and the one continue is now seriously taken into account in the model. These models newborn so-called hybrid models describe at one time the two dynamics and are already used as well in control systems as in analysis. The methods and present tools of the dependability of systems are either of quantitative order or qualitative one. The avenue o...
متن کاملDependability Evaluation of a Simple Mechatronic System Using Coloured Petri Nets
Mechatronic automotive systems are hybrid systems. Modelling and simulation of the interactions between continuous and discrete parts is essential to evaluate dependability. In this paper we show how a simple mechatronic system can be modelled in the CPN formalism. Quantitative dependability evaluation is obtained thanks to MonteCarlo simulation. We use the DesignCPN Occurrence Graph tool to va...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کامل